Specialized Machine Instruction Set for Geometric Algebra

نویسندگان

  • Dietmar Hildenbrand
  • Patrick Charrier
  • Christian Steinmetz
  • Andreas Koch
چکیده

Geometric algebra covers many mathematical areas such as vector algebra, complex numbers, Pluecker coordinates, quaternions. It is geometrically intuitive and has a lot of potential for optimization and parallelization. In this paper, we develop an approach for the specialized machine instruction set GAPP based on our table-based compilation approach for geometric algebra computing. GAPP can be used as a representation from which consecutive target platform optimizations may be performed. An FPGA platform implementation is even capable of executing this instruction set directly without further transformations, thereby fully exploiting parallelism. An implementation of GAPP as a back end for the Gaalop compiler is already available. This is an important step towards the long term vision of microcomputers specifically designed for Geometric Algebra (Geometric Algebra Computers). Dietmar Hildenbrand TU Darmstadt, Germany, e-mail: [email protected] Patrick Charrier TU Darmstadt, Germany, e-mail: [email protected] Christian Steinmetz TU Darmstadt, Germany, e-mail: [email protected] Andreas Koch TU Darmstadt, Germany, e-mail: [email protected]

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Joint and Generalized Spectral Radius of Upper Triangular Matrices with Entries in a Unital Banach Algebra

In this paper, we discuss some properties of joint spectral {radius(jsr)} and  generalized spectral radius(gsr)  for a finite set of upper triangular matrices with entries in a Banach algebra and represent relation between geometric and joint/generalized spectral radius. Some of these are in scalar matrices, but  some are different. For example for a bounded set of scalar matrices,$Sigma$, $r_*...

متن کامل

An ultra-fast instruction set simulator

In this paper, we present new techniques which further improve the static compilation-based instruction set architecture (ISA) simulation by the aggressive utilization of the host machine resources. Such utilization is achieved by defining a low-level code-generation interface specialized for ISA simulation, rather than the traditional approaches which use C as a code-generation interface. We a...

متن کامل

A Process Algebra for Instruction - Set Architecture Design ?

Process algebras are suitable for modeling a wide variety of sequential and concurrent systems. They are used for modeling both hardware and software. This paper presents a process algebra (IspCal) designed for modeling and verifying synchronous digital systems at the register-transfer and instruction-set levels. It can be used for reasoning about the behavior of concurrent state machines or ha...

متن کامل

On the operating unit size of load/store architectures

We introduce a strict version of the concept of a load/store instruction set architecture in the setting of Maurer machines. We take the view that transformations on the states of a Maurer machine are achieved by applying threads as considered in thread algebra to the Maurer machine. We study how the transformations on the states of the main memory of a strict load/store instruction set archite...

متن کامل

An Instruction Set Process Calculus

We have created a calculus for reasoning about hardware and rmware at the algorithmic state machine (ASM) and instruction-set processor (ISP) levels of description. The calculus is a value-passing process algebra that extends the Mealy machine model to include parallel composition. It supports reasoning about the composed behavior of synchronous ASM and ISP components and microcode. We present ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012